

/* Include all the C sources files to simplify makefile writing */
#include "kernel.c"
#include "kernel_event.c"
/*#include "kernel_events.c"*/
#include "kernel_queue.c"
#include "kernel_sched.c"
#include "kernel_sem.c"
#include "kernel_mutex.c"
#include "kernel_stream.c"
#include "kernel_task.c"

#include "kernel_libc.c"
#include "kernel_console.c"
#include "kernel_stat.c"
#include "kernel_time.c"
#include "kernel_trace.c"

#include "kernel_port_c.c"

